Naviga IRIS

Sfoglia per Rivista IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 7 a 13 di 13

1995-01-01 S., Bandinelli; A., Fuggetta; Lavazza, LUIGI ANTONIO; M., Loi; G. P., Picco

1996-01-01 Briand, L.; Morasca, Sandro; Basili, V.

1997-01-01 Briand, L.; Morasca, Sandro; Basili, V.

1988-01-01 S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO

1991-01-01 COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D.

1997-01-01 COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.

2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.

Titolo	Data di pubblicazione	Autore(i)
Modeling and Improving an Industrial Software Process	1-gen-1995	S., Bandinelli; A., Fuggetta; Lavazza, LUIGI ANTONIO; M., Loi; G. P., Picco
Property-based software engineering measurement	1-gen-1996	Briand, L.; Morasca, Sandro; Basili, V.
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties"	1-gen-1997	Briand, L.; Morasca, Sandro; Basili, V.
Software prototyping by relational techniques: experiences with program construction systems	1-gen-1988	S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO
Software Specialization via Symbolic Execution	1-gen-1991	COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D.
Specification of Realtime Systems Using ASTRAL	1-gen-1997	COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.
Time and Probability-Based Information Flow Analysis	1-gen-2010	Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.

Mostrati risultati da 7 a 13 di 13